Session types for safe Web service orchestration
نویسندگان
چکیده
منابع مشابه
Session types for safe Web service orchestration
We address the general problem of interaction safety in Web service orchestrations. By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and present its main properties. We take a new approach to address the formal semantics which is based on a translation into so-called control graphs....
متن کاملSession Types for Orchestration Charts
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing language. Sessions play a pivotal role in this approach. Orcharts (orchestration charts) define session based services and Typecharts provide for session types with complex interaction patterns that generalise the requ...
متن کاملWeb Service Orchestration with BPEL
SOAP-based Web Services are quickly becoming the standard solution to publish business services, both within corporate firewalls as well as externally to provide integration points with business partners. Two complementary developments in the world of software applications are the Service Oriented Enterprise model and Software-as-a-Service. With the continuing popularity of Web Services and the...
متن کاملWeb Service Orchestration as Constraints Programming
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the services, and making choices. We provide a high-level language for expressing web service business processes and user requests. We also provide algorithms to encode them into a constraint problem with an optimization fun...
متن کاملWeb service orchestration driven by formal specification
Abstr act. When set of basic web service is built, the next step is to create more complex one. A programmatic approach uses declarative language such as BPEL. This kind of representation is verbose and needs assistance for the creation of business process. We defined a generative strategy leading by formal specification. Because, web service composition languages use standard operators like se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2013
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2013.05.004